Typed lambda calculus - PDFSEARCH.IO - Document Search Engine

Typed lambda calculus
Results: 163

#	Item
151	Lecture Notes on the Lambda Calculus Peter Selinger Department of Mathematics and Statistics Add to Reading List Source URL: www.mathstat.dal.ca Language: English - Date: 2013-09-21 21:21:50 Mathematics Logic in computer science Theory of computation Type theory Computability theory Simply typed lambda calculus Combinatory logic Typed lambda calculus Normalization property Theoretical computer science Lambda calculus Mathematical logic
152	The Girard-Reynolds Isomorphism (second edition) Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2007-03-02 12:28:49 Logic Lambda calculus Logic in computer science Dependently typed programming Proof theory Calculus of constructions System F Curry–Howard correspondence First-order logic Mathematical logic Mathematics Type theory
153	Dependently Typed Web Client Applications FRP in Agda in HTML5 Alan Jeffrey Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2012-11-06 09:48:46 Functional languages Functional programming Scripting languages Lisp programming language Type theory Agda Lambda calculus ECMAScript JavaScript Computing Software engineering Computer programming
154	The Girard-Reynolds Isomorphism1 Philip Wadler Avaya Labs Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2004-05-05 10:17:59 Theoretical computer science Type theory Model theory Logic in computer science Dependently typed programming First-order logic Combinatory logic System F Function Mathematical logic Mathematics Lambda calculus
155	A short introduction to the Lambda Calculus Achim Jung∗ March 18, 2004 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2010-05-11 14:13:42 Mathematical logic Combinatory logic Fixed-point combinator Simply typed lambda calculus Programming Computable Functions Free variables and bound variables Function Parameter Spectral theory of ordinary differential equations Mathematics Theoretical computer science Lambda calculus
156	Dependent Types at Work Ana Bove and Peter Dybjer Chalmers University of Technology, G¨ Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-09-04 09:56:00 Type theory Functional languages Lambda calculus Logic in computer science Theory of computation Agda Intuitionistic type theory Dependent type Typed lambda calculus Software engineering Programming language theory Theoretical computer science
157	PDF Document Add to Reading List Source URL: www.site.uottawa.ca Language: English - Date: 2008-05-09 14:32:29 Lambda calculus Type theory Data types Theoretical computer science Subroutines Type system ALGOL 68 C syntax Simply typed lambda calculus Software engineering Computing Computer programming
158	PDF Document Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2002-09-05 11:33:14 Lambda calculus Logic programming Type theory Predicate logic ΛProlog Unification Free variables and bound variables Simply typed lambda calculus Higher-order abstract syntax Logic Theoretical computer science Mathematics
159	PDF Document Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2012-02-07 07:09:47 Applied mathematics Type theory Theory of computation Logic in computer science Typed lambda calculus Simply typed lambda calculus Henk Barendregt Programming language theory Radboud University Nijmegen Theoretical computer science Lambda calculus Computer science
160	PDF Document Add to Reading List Source URL: www.cs.kent.ac.uk Language: English - Date: 2012-11-02 09:24:49 Theoretical computer science Logic in computer science Lambda calculus Proof theory Dependently typed programming Curry–Howard correspondence Intuitionistic type theory Combinatory logic Natural deduction Mathematics Mathematical logic Type theory